Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Substructural Logics (Studies in Logic and Computation)

 Автор: , Автор:
Категория: Образование
Размер книги: 2.61 Mb

Cut Elimination in Categories

 Автор:
Категория: Математика
Размер книги: 1.34 Mb

Cut Elimination in Categories

 Автор:
Категория: Математика
Размер книги: 845 Kb